void main(void)
{	
	printf("%s: enter %s()\r\n", __FILE__, __func__);
	kill(6);
	exit();
}
